LIFEWARE - 2014 - Annual activity report

LIFEWARE

LIFEWARE - 2014

Team Lifeware

Members

Overall Objectives

Research Program

Application Domains

New Software and Platforms

New Results

Highlight: Xavier Duportet laureate of the AEF docteurs-entrepreneurs prize
Highlight: François Fages laureate of the French Academy of Sciences
Highlight: Pauline Traynard Best Student Paper Prize at CMSB 2014, for Trace Simplifications preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock
Highlight: Modeling Dynamics of Cell-to-Cell Variability in TRAIL-induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance
Towards Real-time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach
A Platform for Rapid Prototyping of Synthetic Gene Networks in Mammalian Cells
Reconfigurable Circuitry in Biochemical Systems
Inferring Reaction Systems from Ordinary Differential Equations
Model Reductions by Tropical Equilibration
Model Reductions by Subgraph Epimorphisms
Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers
Logical Modeling of the Mammalian Cell Cycle
A Greedy Heuristic for Optimizing Metro Regenerative Energy Usage compared to CMA-ES and MILP

Bilateral Contracts and Grants with Industry

Bilateral Contract with General Electric Transportation

Partnerships and Cooperations

Dissemination

Bibliography

Publications of the year

Previous |

Home | Next next

Section: New Software and Platforms

Other software

The team also develops several software primarily for internal use. Some of them are specific to particular hardware and are not distributed. Some others are general purpose and currently on the web page for free downloading.

Previous |

Home | Next next